Merge pull request #1686 from antonio-nino-diaz-arm/an/backtrace
authorAntonio Niño Díaz <[email protected]>
Tue, 20 Nov 2018 11:03:26 +0000 (12:03 +0100)
committerGitHub <[email protected]>
Tue, 20 Nov 2018 11:03:26 +0000 (12:03 +0100)
backtrace: Extract rules from root Makefile


Trivial merge